Require make check to succeed for a successful build.

diff --git a/debian/rules b/debian/rules
index 0e6360a953f0feae57e0947a945da092a9fd4642..68bd20871c6457763d703d13f09381c74c098dd8 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -60,7 +60,7 @@ build-stamp: configure-stamp
        # Add here commands to compile the package.
        $(MAKE)
        chmod u+x testo
-       $(MAKE) check || true
+       $(MAKE) check 
 
        touch $@